:- use_package([assertions]).

:- comment(title, "Installing WebDB").
:- comment(module, "@include{INSTALL.lpdoc}").

main.
